Programming with Enumerable Sets of Structures Ivan Kuraj Viktor Kuncak Daniel Jackson

Source URL: lara.epfl.ch

Modular Verification of Code with SAT Greg Dennis ▪ Software Design Group ▪ MIT joint work with Felix Chang and Daniel Jackson ISSTA 2006 ▪ July 18, 2006 Software Components

Source URL: sdg.csail.mit.edu

MMWC Mathers Museum of World Cultures Summer 2013 No. 1 pg. 2

Source URL: www.mathers.indiana.edu

• Laura Boulton
• Tourism
• Indiana
• Pravina Shukla
• Jason Baird Jackson
• Indiana University Bloomington
• Museum
• University of Oregon Museum of Natural and Cultural History
• Daniel C. Swan
• Academia
• Rotundas
• Ethnomusicologists

A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Insti

Source URL: people.csail.mit.edu

• Systems engineering
• Formal methods
• Software requirements
• Quality
• Safety engineering
• Dependability
• Reliability engineering
• Problem frames approach
• Software development methodology
• Software development
• Software
• Science

Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {ale

Source URL: people.csail.mit.edu

• Fourier analysis
• Laplace transform
• Transforms
• ALGOL 68
• Four-square cipher
• Obfuscated code
• Mathematical analysis
• Integral transforms
• Programming language theory

Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory

Source URL: people.csail.mit.edu

• Programming paradigms
• Daniel Jackson
• Alloy Analyzer
• Alloy
• Declarative programming
• Imperative programming
• Programming language
• Constraint programming
• Computer program
• Computing
• Software engineering
• Computer programming

Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of

Source URL: homes.cs.washington.edu

• Programming language theory
• Data types
• Object-oriented programming
• Polymorphism
• Alloy
• Z notation
• Type system
• Subtype polymorphism
• Daniel Jackson
• Software engineering
• Type theory
• Computing

Problem Decomposition for Reuse Daniel Jackson Michael Jackson School of Computer Science MAJ Consulting Ltd Carnegie Mellon University

Source URL: mcs.open.ac.uk

• Systems science
• Problem frames approach
• Systems analysis
• Software design
• Decomposition
• Routing
• Router
• Frame
• Problem domain
• Systems engineering
• Systems theory
• Software development

Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu

Source URL: people.csail.mit.edu

• Semantics
• Boolean algebra
• Predicate logic
• Propositional calculus
• FO
• Predicate
• Quantification
• Interpretation
• Negation
• Logic
• Mathematical logic
• Mathematics

Sunny: From Models to Interactive Web Apps for (almost) free Aleksandar Milicevic, Daniel Jackson {aleks,dnj}@csail.mit.edu Milos Gligoric, Darko Marinov

Source URL: people.csail.mit.edu

• World Wide Web
• Internet
• Online chat
• Ajax
• Push technology
• Web 2.0
• Internet Relay Chat
• Representational state transfer
• Server
• Computing
• Web development
• Software architecture